From dae06d82ae44aa818ad971224be2c1a8035b9bf2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Timm=20B=C3=A4der?= Date: Fri, 21 Feb 2020 13:38:38 +0100 Subject: [PATCH] inspector: Remove double borders in recorder --- gtk/inspector/recorder.ui | 133 ++++++++++++++++++-------------------- 1 file changed, 62 insertions(+), 71 deletions(-) diff --git a/gtk/inspector/recorder.ui b/gtk/inspector/recorder.ui index e0f5e74c30..cd48428a02 100644 --- a/gtk/inspector/recorder.ui +++ b/gtk/inspector/recorder.ui @@ -45,108 +45,99 @@ + + + - + + never + 1 + - - never - 1 - - - - 1 - - - + + 1 + - + + never + 1 + - - never - 1 - - - - 1 - - - + + 1 + - + + vertical + 300 + 1 - - vertical - 300 - 1 + - + + 1 + - - 1 - + + Property - - Property - - - 0 - - - 0 - - + + 0 + + 0 + + + + + + + Value + + + 0 + word + 50 + + + 1 + - - Value - - - 0 - word - 50 - - - 1 - - - - - 0 - - - 2 - 3 - - + + 0 + + 2 + 3 + - - - 1 - - + + + + + 1 -- 2.30.2